automated reasoning
自动推理
热门查询
- girlfriend n. 女朋友 女伴
- embayment n. 湾；形成港湾
- pillage n. 掠夺；掠夺物 vt. 掠夺；抢劫 vi. 掠夺；抢劫
- stupefied adj. 目瞪口呆的；呆若木鸡的 v. 吓呆（stupefy的过去分词）
- Nesbitt [人名] [苏格兰人、北方英格兰人姓氏] 内斯比特 Nisbit的变体
- zambezi 赞比西河[非洲南部]
- carefree adj. 无忧无虑的；不负责的
- itchy adj. 发痒的；渴望的
- UAE abbr. 阿拉伯联合酋长国（United Arab Emirates）
- percept n. 认知，认知的对象
- adjourned 休会
- starlight n. 星光 adj. 有星光的；星光照耀的
- leased adj. [租赁] 租用的 n. 专线；一线路（指一电话线路每天 24 小时地连通两地） v. 租用（lease的过去式和过去分词）
- illocutionary adj. 言外行为的；言之行言语行为的
- monkey n. 猴子；顽童 vi. 胡闹；捣蛋 vt. 嘲弄
- feel n. 感觉；触摸 vi. 觉得；摸索 vt. 感觉；认为；触摸；试探
- sandpiper n. [鸟] 鹬
- hh abbr. 倍硬（指铅笔心硬度 double- hard）；半硬的（Half Hard）；重氢， 氚（Heavy Hydrogen）；高功率不定向无线电归航信标（High-powered， non-directional radio homing beacon）；殿下（His Highness）；陛下（His Holiness）；阁下， 先生（His Honour）
- unopened adj. 没有开的；未开放的；未启封的
- microcosmic adj. 微观的，微观世界的；小宇宙的
